『The Algebra of Programming』
Richard Bird
Oege De Moor